大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jerusalem Conference on Information Technology (3rd : 1978) 的图书(共9381本)

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

0
索取号:
作者:Barthe、 Gilles.、Boer、 Frank S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Techniques for Networked and Distributed Systems-FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号:
作者:Suzuki、 Kenji.、Higashino、 Teruo.、Yasumoto、 Keiichi.、El-Fakih、 Khaled.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integral Foam Molding of Light Metals [electronic resource] : Technology, Foam Physics and Foam Simulation

0
索取号:
作者:Koerner、 Carolin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Artificial Intelligence [electronic resource] : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings

0
索取号:
作者:Bergler、 Sabine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Future-Oriented Technology Analysis [electronic resource] : Strategic Intelligence for an Innovative Economy

0
索取号:
作者:Cagnin、 Cristiano.、Keenan、 Michael.、Johnston、 Ron.、Scapolo、 Fabiana.、Barr茅、 R茅mi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings

0
索取号:
作者:Harju、 Jarmo.、Heijenk、 Geert.、Langend枚rfer、 Peter.、Siris、 Vasilios A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers

0
索取号:
作者:Nguyen、 Phong Q.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Modeling Decisions [electronic resource] : Information Fusion and Aggregation Operators

0
索取号:
作者:Torra、 Vicen莽.、Narukawa、 Yasuo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ultrafast Phenomena XV [electronic resource] : Proceedings of the 15th International Conference, Pacific Grove, USA, July 30 鈥ugust 4, 2006

0
索取号:
作者:Corkum、 Paul.、Jonas、 David M.、Miller、 R. J. Dwayne.、Weiner、 Andrew M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

0
索取号:
作者:Julliand、 Jacques.、Kouchnarenko、 Olga.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings

0
索取号:
作者:Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号:
作者:Meier、 Ren茅.、Terzis、 Sotirios.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Retrieval Technology [electronic resource] : 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers

0
索取号:
作者:Li、 Hang.、Liu、 Ting.、Ma、 Wei-Ying.、Sakai、 Tetsuya.、Wong、 Kam-Fai.、Zhou、 Guodong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reliable Software Technologies-Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

0
索取号:
作者:Kordon、 Fabrice.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号:
作者:Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Web Based Learning-ICWL 2006 [electronic resource] : 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers

0
索取号:
作者:Liu、 Wenyin.、Li、 Qing.、W.H. Lau、 Rynson.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类